Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
141	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
142	Component-Based Lock Allocation Richard L. Halpert Christopher J. F. Pickett Clark Verbrugge School of Computer Science, McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2007-10-20 14:38:18 Lock Deadlock Critical section Non-blocking algorithm Parallel computing OpenMP Java Memory Model C dynamic memory allocation Linearizability Concurrency control Computing Computer programming
143	Simple Concurrency for Robotics with the Roboscoop Framework Andrey Rusakov Jiwon Shin Bertrand Meyer Chair of Software Engineering Department of Computer Science Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-03-16 10:58:07 Integrated development environments Microsoft Robotics Developer Studio Robot SCOOP Concurrency URBI Cognitive robotics Mobile robot Autonomous robot Software Robotics Computing
144	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.ecse.monash.edu.au Language: English - Date: 2007-11-19 01:34:07 Computer science Diagrams Petri nets Computing Actor model Finite-state machine Petri Markov chain Parallel computing Models of computation Concurrency Formal methods
145	Fence-Free Work Stealing on Bounded TSO Processors Adam Morrison ∗ Yehuda Afek Computer Science Department Add to Reading List Source URL: www.cs.technion.ac.il Language: English Computer hardware Abstract data types Concurrency control Circular buffer Memory barrier Double-ended queue Parallel Extensions Queue Algorithm Computing Computer memory Computer architecture
146	REACHABILITY IN TWO-DIMENSIONAL VECTOR ADDITION SYSTEMS WITH STATES IS PSPACE-COMPLETE arXiv:1412.4259v1 [cs.FL] 13 Dec,‡,§ , CHRISTOPH HAASE2,†,§ , Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-04-13 05:39:26 Petri net Reachability FO Applied mathematics Computer science Theoretical computer science Concurrency Diagrams
147	The Impending Ordinariness of Teaching Concurrent Programming Doug Lea SUNY, Oswego Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2011-03-01 20:00:05 Software engineering Parallel computing Actor model Concurrency Computer science Algorithm Communications protocol Thread Ada Computing Concurrent computing Computer programming
148	Atomic Instructions in Java David Hovemeyer, William Pugh, and Jaime Spacco Dept. of Computer Science, University of Maryland, College Park, MDUSA {daveho,pugh,jspacco}@cs.umd.edu Abstract. Atomic instructions at Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:21 Concurrency Compare-and-swap Linearizability Double compare-and-swap Lock Load-link/store-conditional Non-blocking algorithm Memory barrier Monitor Concurrency control Computing Computer architecture
149	Finding Concurrency Bugs In Java David Hovemeyer and William Pugh Dept. of Computer Science, University of Maryland College Park, MarylandUSA {daveho,pugh}@cs.umd.edu Add to Reading List Source URL: faculty.ycp.edu Language: English - Date: 2014-08-22 12:24:21 Concurrency control Software bugs Concurrency Concurrent computing Computer memory Double-checked locking FindBugs Lock Thread Computing Software engineering Computer programming

UPDATE